NP-Completeness of a Combinator Optimization Problem
نویسندگان
چکیده
منابع مشابه
solution of security constrained unit commitment problem by a new multi-objective optimization method
چکیده-پخش بار بهینه به عنوان یکی از ابزار زیر بنایی برای تحلیل سیستم های قدرت پیچیده ،برای مدت طولانی مورد بررسی قرار گرفته است.پخش بار بهینه توابع هدف یک سیستم قدرت از جمله تابع هزینه سوخت ،آلودگی ،تلفات را بهینه می کند،و هم زمان قیود سیستم قدرت را نیز برآورده می کند.در کلی ترین حالتopf یک مساله بهینه سازی غیر خطی ،غیر محدب،مقیاس بزرگ،و ایستا می باشد که می تواند شامل متغیرهای کنترلی پیوسته و گ...
NP-completeness Proof: RBCDN Reduction Problem
Suppose {R1, . . . , Rk} is the set of all possible regions [?] of graph G. Consider a k-dimensional vector C whose i-th entry, C[i], indicates the number of connected components in which G decomposes when all nodes in Ri fails. Then, region-based component decomposition number (RBCDN) of graphG with region R is defined as αR(G) = max1≤i≤k C[i]. Suppose the RBCDN of G with region R is αR(G). If...
متن کاملStrong NP-Completeness of a Matrix Similarity Problem
Consider the following problem: given an upper triangular matrix A, with rational entries and distinct diagonal elements, and a tolerance 1, decide whether there exists a nonsingu-lar matrix G, with condition number bounded by , such that G ?1 AG is 22 block diagonal. This problem, which we shall refer to as DICHOTOMY, is an important one in the theory of invariant subspaces. It has recently be...
متن کاملComputational Complexity, NP Completeness and Optimization Duality: A Survey
We survey research that studies the connection between the computational complexity of optimization problems on the one hand, and the duality gap between the primal and dual optimization problems on the other. To our knowledge, this is the first survey that connects the two very important areas. We further look at a similar phenomenon in finite model theory relating to complexity and optimization.
متن کاملNP-Completeness: A Retrospective
For a quarter of a century now NP completeness has been computer science s favorite paradigm fad punching bag buzzword alibi and intellectual export This paper is a fragmentary commentary on its origins its nature its impact and on the attributes that have made it so pervasive and contagious A keyword search in Melvyl the University of California s on line library reveals that about papers each...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1995
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1040248462